Раздел |
Функция |
Обозначение в Лисп |
Коментарии |
|
|
|
|
Логика |
- конюнкция
- дизюнкция
- отрицанние
- импликация
|
|
|
Предикаты |
- тождество
- небытие
- элементарность
|
|
-
- сравнение с пустотой
- проверка на элементарность
|
Структуры |
- соединение
- первый компонент
- последний компонент
|
|
- Группировка в список из 2 элементов
- Выделение первого элемента
- Выделение последнего элемента
|
Запоминание |
|
|
|
Интерпретация |
|
|
- Интерпретация
- запрет на интерпретацию
- возврат из подпрограммы
|
Слова
Определения
Печать
|
|
|
- новые слова
- новые программы
- рече-порождение
|